alpha :: forall x . (a -> x) -> F x